| 1. | So it is very significant to study the embeddability of algebra systems
从而研究代数系统的可嵌入性是非常有意义的。 |
| 2. | Computer algebra system
计算机代数系统 |
| 3. | In succession , with computer algebra system maple , the dynamical plot of
接着介绍了借助计算机代数系统maple实现电磁波极化状态的动态展示的做法。 |
| 4. | This paper mainly discusses the embeddability of several kinds of important algebra systems
本文的目的正是研究几类重要的代数系统的可嵌入性问题。 |
| 5. | Yacas - yacas - yacas ( yet another computer algebra system ) is a small and highly flexible general - purpose computer algebra language
是一款小型高度可定制的通用代数电脑语言。 |
| 6. | This paper discusses the application of rough set theory on algebra system - group , introduces such concepts as the lower and upper approximation on group and on group of quotient , points out and gives proof of several related properties
摘要通过讨论粗糙集理论在代数系统群上的应用，引入了群中的上、下近似和商群中的上、下近似等概念，提出并证明了与此相关的性质。 |
| 7. | However , the embeddability plays an important role in proving the completeness of the formal deductive systems . when an algebra system has embeddability . a formula is a tautology for each linearly ordered algebra if and only if it is a tautology for each algebra
在可嵌入性的保证下，当一个公式对所有的某种线性代数系统是重言式时，其必定对所有的同种代数系统是重言式。 |
| 8. | With the aid of computer algebra system maple , the nonlinear algebra equations corresponding to the nonlinear coupled scalar field equations can be successfully solved this way , and eventually many exact solutions to it can be obtained
用这种办法在计算机代数系统maple上成功地求解了非线性耦合标量场方程组所对应的非线性代数方程组，最终获得了耦合标量场方程组的众多精确解。 |
| 9. | Proceed from general conclusion of algebra on the finite field , study this special algebra system of elliptic curve on the finite field , discuss that sets up several theories of the public key cryptosystems and the problems of implementation on it
从有限域上的代数的一般结论出发，研究有限域上的椭圆曲线这一特殊的代数系统，讨论在其上建立公钥密码体制的若干理论和实现问题。 |
| 10. | The second part discusses the properties of residuated lattices satisfying ; gives a necessary and sufficient condition w . r . t . residuated lattices . by means of it , this paper obtains several kinds of important algebra systems such as r0 algebras , mv algebras , bl algebras , and wnm algebras have embeddability ; discusses the relation between lfi algebras and residuated lattices ; gives a necessary and sufficient condition for clfi algebras becoming residuated lattices
第二章：讨论了满足( * )式的剩余格的一些性质；找到了剩余格可嵌入于全序剩余格乘积的充要条件；利用这个结果，得到了几类重要代数系统像r _ 0代数、 mv代数、 bl代数、 wnm代数、蕴涵格等等具有可嵌入性；还讨论了lfi代数与剩余格的关系，给出了clfi代数成为剩余格的充要条件。 |
